On the Galois Groups of the Exponential Taylor Polynomials: A Comprehensive Review of Coleman's Paper

多項式の Galois 群 (Galois group) を決定することは、代数的数論およびガロア理論における古典的かつ中心的な課題の一つである。特に、著名な特殊関数のテイラー展開によって得られる多項式系列のガロア群は、美しい対称性を示すことが多い。本稿では、指数関数 $e^x$ の $n$ 次テイラー多項式 $$ f_n(x) = 1 + x + \frac{x^2}{2!} + \dots + \frac{x^n}{n!} = \sum_{k=0}^n \frac{x^k}{k!} $$ の有理数体 $\mathbb{Q}$ 上のガロア群に関する Schur の定理、およびそれに対する Robert F. Coleman による $p$ 進的なアプローチを網羅的に解説する。

Issai Schur は1930年の論文 "Gleichungen ohne Affekt" において、以下の驚くべき定理を証明した。

Schur によるオリジナルの証明は、代数的数論の高度な道具や素数分布に関する深い結果を必要とするものであった。これに対し、 Robert F. Coleman は1987年の論文 "On the Galois groups of the exponential Taylor polynomials" において、 $p$ 進付値 ($p$-adic valuation) および Newton 多角形 (Newton polygon) の理論を用いることで、極めて明快かつ代数的な別証明を与えた。本稿の目的は、Coleman の論文の全貌を、一切の論理的ギャップを排除した self-contained な形で記述することである。

2. 基礎概念の定義と具体例 (Basic Definitions and Examples)

Coleman の証明を理解するために必要な代数学および $p$ 進解析学の基礎概念を定義し、具体的な例を交えて説明する。

2.1. ガロア群と推移性

多項式のガロア群の本質的な性質の一つに「推移性」がある。

定義 2.1 (ガロア群と推移的作用)

体 $K$ 上の次数 $n$ の多項式 $P(x)$ の最小分解体を $L$ とする。 $P(x)$ の $K$ 上のガロア群とは、拡大 $L/K$ のガロア群 $\text{Gal}(L/K)$ のことである。 $P(x)$ の相異なる根の集合を $\Omega = \{\alpha_1, \alpha_2, \dots, \alpha_n\}$ とするとき、 $\text{Gal}(L/K)$ は $\Omega$ の置換群、すなわち対称群 $S_n$ の部分群と自然にみなせる。この作用が推移的 (transitive) であるとは、任意の $\alpha_i, \alpha_j \in \Omega$ に対して、 $\sigma(\alpha_i) = \alpha_j$ を満たす $\sigma \in \text{Gal}(L/K)$ が存在することである。

証明

$\Omega$ 上のガロア群の作用による軌道 (orbit) の一つを $\Omega_1 = \{\alpha_1, \dots, \alpha_m\}$ ($m \le n$) とする。多項式 $g(x) = \prod_{i=1}^m (x - \alpha_i)$ を構成する。ガロア群の任意の元 $\sigma$ は $\Omega_1$ を $\Omega_1$ 自身に写すため、 $g(x)$ の係数はすべてガロア群の作用で不変である。ガロア理論の基本定理により、 $g(x) \in K[x]$ となる。 $g(x)$ は $K[x]$ において $P(x)$ を割り切る。 $P(x)$ は既約であるから、 $g(x) = P(x)$ でなければならず、したがって $m = n$ となり、作用は推移的である。□

2.2. $p$ 進付値と Legendre の公式

階乗の $p$ 進付値を求めるための極めて重要な道具が Legendre の公式である。

証明

$k! = \prod_{i=1}^k i$ であるから、 $\text{ord}_p(k!) = \sum_{j=1}^\infty \lfloor \frac{k}{p^j} \rfloor$ が成り立つ。 $k$ の $p$ 進展開を用いると、各 $j \ge 1$ について $$ \lfloor \frac{k}{p^j} \rfloor = c_m p^{m-j} + c_{m-1} p^{m-j-1} + \dots + c_j $$ となる。これをすべての $j \ge 1$ について足し合わせると、 $$ \sum_{j=1}^\infty \lfloor \frac{k}{p^j} \rfloor = \sum_{i=1}^m c_i (p^{i-1} + p^{i-2} + \dots + 1) = \sum_{i=1}^m c_i \frac{p^i - 1}{p-1} $$ $$ = \frac{1}{p-1} \left( \sum_{i=1}^m c_i p^i - \sum_{i=1}^m c_i \right) = \frac{k - s_p(k)}{p-1} $$ となり、公式が得られる。□

2.3. Newton 多角形 (Newton Polygon)

Newton 多角形は、多項式の因数分解の次数に関する強力な情報を提供する。 Coleman の論文で Theorem NP として依拠されている定理は以下の通りである。

2.4. 具体例による Newton 多角形の理解

理解を深めるために、 $n=3$ の場合の指数テイラー多項式 $f_3(x) = 1 + x + \frac{x^2}{2} + \frac{x^3}{6}$ を例にとる。整数係数にするために、 $3! = 6$ を掛けた多項式 $P(x) = 6 f_3(x) = x^3 + 3x^2 + 6x + 6$ を考える。多項式を定数倍しても分解体の構造やガロア群は不変であり、各係数の相対的な付値の差（傾き）も変化しない。

例 2.8 ($p=3$ における $P(x) = x^3 + 3x^2 + 6x + 6$ の Newton 多角形)

各係数は $a_3 = 1, a_2 = 3, a_1 = 6, a_0 = 6$ である。それぞれの $3$ 進付値を計算すると次のようになる：

$\text{ord}_3(a_3) = \text{ord}_3(1) = 0$
$\text{ord}_3(a_2) = \text{ord}_3(3) = 1$
$\text{ord}_3(a_1) = \text{ord}_3(6) = 1$
$\text{ord}_3(a_0) = \text{ord}_3(6) = 1$

点集合は $S = \{(3,0), (2,1), (1,1), (0,1)\}$ となる。下側凸包を求めると、始点 $(0,1)$ と終点 $(3,0)$ を結ぶ単一の線分となる。なぜなら、中間の点 $(1,1)$ と $(2,1)$ はこの直線 $y = -\frac{1}{3}x + 1$ の上側または線上にあるからである。この線分の水平長さは $3$ であり、傾きは $\lambda = \frac{0 - 1}{3 - 0} = -\frac{1}{3}$ である。傾きの分母は $3$ であるから、系 2.7 より、 $\mathbb{Q}_3$ 上の任意の因子の次数は $3$ の倍数でなければならない。多項式の全次数が $3$ であるため、 $P(x)$ は $\mathbb{Q}_3$ 上で既約である。 $\mathbb{Q}_3$ 上で既約な多項式は当然 $\mathbb{Q}$ 上でも既約であるため、 $f_3(x)$ は $\mathbb{Q}$ 上で既約であることがわかる。

3. Coleman による Schur の定理の完全証明 (Complete Proof)

それでは、Coleman の論文に沿って、Schur の定理の完全な証明を展開する。証明は大きく3つのステップに分かれる。

3.1. ステップ A: 有理数体上の既約性の証明

Coleman の手法の最大の特徴は、多項式 $f_n(x)$ の既約性を、すべての素数に対する Newton 多角形の包括的な形状分析から導いた点にある。整数係数多項式 $P_n(x) = n! f_n(x) = \sum_{k=0}^n \frac{n!}{k!} x^k$ を考える。最高次係数は $a_n = 1$、定数項は $a_0 = n!$、中間係数は $a_k = \frac{n!}{k!}$ である。

証明

$n$ の素因数分解を $n = \prod_p p^{n_p}$ とする（ $n_p$ は $n$ における素数 $p$ の最高冪指数、すなわち $p^{n_p} \mid\mid n$）。各素数 $p$ について、 $P_n(x)$ の $\mathbb{Q}_p$ 上での Newton 多角形を調べる。 Legendre の公式（補題 2.4）により、各係数 $a_k = \frac{n!}{k!}$ の $p$ 進付値は次のようになる： $$ \text{ord}_p(a_k) = \text{ord}_p(n!) - \text{ord}_p(k!) = \frac{n - s_p(n)}{p-1} - \frac{k - s_p(k)}{p-1} = \frac{n - k - (s_p(n) - s_p(k))}{p-1} $$ ここで、 $k = n - p^{n_p}$ という特定のインデックスを考える。 $n$ の $p$ 進展開において、 $p^{n_p}$ 未満の位数はすべて $0$ である（なぜなら $p^{n_p} \mid n$ だからである）。したがって、 $n$ から $p^{n_p}$ を引くという操作は、 $p$ 進展開における $p^{n_p}$ の位数の数字を $1$ 減らし、それ未満の位数を $0$ のまま保つ。ゆえに、 $s_p(n - p^{n_p}) = s_p(n) - 1$ が成り立つ。よって、 $k = n - p^{n_p}$ のとき、 $$ \text{ord}_p(a_{n - p^{n_p}}) = \frac{p^{n_p} - (s_p(n) - (s_p(n) - 1))}{p-1} = \frac{p^{n_p} - 1}{p-1} $$ となる。一方、終点である $k = n$ では $\text{ord}_p(a_n) = \text{ord}_p(1) = 0$ である。点 $(n - p^{n_p}, \text{ord}_p(a_{n - p^{n_p}}))$ と終点 $(n, 0)$ を結ぶ直線の傾き $\lambda$ を計算すると、 $$ \lambda = \frac{0 - \frac{p^{n_p} - 1}{p-1}}{n - (n - p^{n_p})} = - \frac{p^{n_p} - 1}{p^{n_p}(p-1)} $$ となる。 $p^{n_p} - 1 = (p-1)(p^{n_p-1} + p^{n_p-2} + \dots + 1)$ であるから、 $p-1$ で約分すると、傾きは $$ \lambda = - \frac{p^{n_p-1} + p^{n_p-2} + \dots + 1}{p^{n_p}} $$ となる。この分数の分子は $p$ で割り切れないため、分母 $p^{n_p}$ と互いに素である。したがって、この傾きを既約分数で表したときの分母はまさに $p^{n_p}$ である。 Coleman の論文の Newton 多角形の凸性議論によ限れば、この傾きを持つ線分が Newton 多角形の右端のセグメントとして現れる。系 2.7 (系 A) を適用すると、 $f_n(x)$ の $\mathbb{Q}_p$ 上の任意の因子の次数は、この既約分数の分母である $p^{n_p}$ の倍数でなければならない。有理数体 $\mathbb{Q}$ は $\mathbb{Q}_p$ の部分体であるから、 $f_n(x)$ が $\mathbb{Q}$ 上で因子を持てば、その因子の次数もまた $p^{n_p}$ の倍数である。この議論は $n$ を割り切るすべての素数 $p$ について独立に成り立つ。各素数冪 $p^{n_p}$ たちは互いに素であるから、 $\mathbb{Q}$ 上の任意の因子の次数は、それらの積である $\prod_p p^{n_p} = n$ の倍数でなければならない。多項式 $f_n(x)$ の全次数は $n$ である。次数が $n$ の倍数であるような自明でない因子（次数が $1$ 以上 $n-1$ 以下）は存在し得ない。したがって、 $f_n(x)$ は $\mathbb{Q}$ 上で既約である。□

3.2. ステップ B: 置換群としての構造と交代群の包含

既約性が示されたことで、ガロア群 $G_n$ は根の集合上に推移的に作用する部分群であることが確定した。次に、 $G_n$ が十分に大きな置換を含んでいることを、代数的な群論の定理を用いて示す。

証明

$n \ge 8$ とし、 Bertrand の仮説に基づき $n/2 < p < n-2$ を満たす素数 $p$ を選ぶ。この素数 $p$ は特に $n/2 < p \le n$ を満たすため、 $n$ の $p$ 進展開は $n = p + r$ （ただし $0 \le r < p-2$）と書ける。このとき、多項式 $P_n(x)$ の $\mathbb{Q}_p$ 上での Newton 多角形を考えると、最長で傾きの分母が $p$ となる線分が存在する。系 2.7 の拡張（論文中の系 B）により、 $\mathbb{Q}_p$ 上の最小分解体の拡大次数は $p$ で割り切れる。 $\mathbb{Q}_p$ 上の分解体は、有理数体 $\mathbb{Q}$ 上の最小分解体 $L$ を $\mathbb{Q}_p$ 上に局所化した体に包摂されるため、拡大次数 $[\mathbb{Q}_p(\alpha_1, \dots, \alpha_n) : \mathbb{Q}_p]$ は $[L : \mathbb{Q}] = |G_n| $ を割り切る。したがって、ガロア群 $G_n$ の位数は素数 $p$ で割り切れる。 Cauchy の定理（定理 3.2）により、 $G_n$ は位数 $p$ の置換 $\sigma$ を含む。 $\sigma$ を対称群 $S_n$ の元として相異なる巡回置換の積に分解する。 $\sigma$ の位数が $p$ （素数）であることから、現れる巡回置換の長さはすべて $1$ または $p$ でなければならない。いま、 $p > n/2$ であるから、長さ $p$ の巡回置換は高々1つしか存在し得ない（もし2つあれば文字数が $2p > n$ となり矛盾する）。したがって、 $\sigma$ はちょうど1つの長さ $p$ の巡回置換と、残りの $n-p$ 個の不動点（長さ 1 の巡回置換）から構成される。これは定義により、 $\sigma$ が $p$-巡回置換であることを意味する。ステップ A より $G_n$ は推移的部分群であり、いま $n/2 < p < n-2$ を満たす素数 $p$ に対する $p$-巡回置換を含むことが示された。したがって、 Jordan の定理（定理 3.3）の前提条件が完全に満たされ、 $G_n \ge A_n$ が成立する。□

3.3. ステップ C: 判別式の精密な計算と最終決定

$G_n \ge A_n$ であるため、残された課題は $G_n = A_n$ なのか $G_n = S_n$ なのかを決定することである。置換群の一般論として、推移的部分群 $G \le S_n$ が $A_n$ に含まれるための必要十分条件は、多項式の根の差の二乗積、すなわち判別式が基礎体の平方数になることである。

証明

多項式 $P(x) = n! f_n(x) = \prod_{i=1}^n (x - \alpha_i)$ は最高次係数が $1$ のモニック多項式である。この判別式の定義および微分の性質から、以下が成り立つ： $$ D_n = (-1)^{\frac{n(n-1)}{2}} \prod_{i=1}^n P'(\alpha_i) $$ ここで、元の多項式 $f_n(x) = \sum_{k=0}^n \frac{x^k}{k!}$ の微分を考えると、 $$ f_n'(x) = \sum_{k=1}^n \frac{k x^{k-1}}{k!} = \sum_{k=1}^n \frac{x^{k-1}}{(k-1)!} = \sum_{j=0}^{n-1} \frac{x^j}{j!} = f_{n-1}(x) $$ という関係式を得る。また、 $f_n(x) = f_{n-1}(x) + \frac{x^n}{n!}$ である。 $P(x) = n! f_n(x)$ であるから、その微分は $P'(x) = n! f_n'(x) = n! f_{n-1}(x)$ である。根 $\alpha_i$ は $P(\alpha_i) = 0$ すなわち $f_n(\alpha_i) = 0$ を満たすため、 $$ f_{n-1}(\alpha_i) + \frac{\alpha_i^n}{n!} = 0 \implies f_{n-1}(\alpha_i) = - \frac{\alpha_i^n}{n!} $$ が成り立つ。これを $P'(x)$ の式に代入すると、 $$ P'(\alpha_i) = n! \left( - \frac{\alpha_i^n}{n!} \right) = - \alpha_i^n $$ となる。したがって、積の部分は次のように計算される： $$ \prod_{i=1}^n P'(\alpha_i) = \prod_{i=1}^n (-\alpha_i^n) = (-1)^n \left( \prod_{i=1}^n \alpha_i \right)^n $$ 根と係数の関係により、モニック多項式 $P(x) = x^n + \dots + n!$ の定数項は $n!$ であるから、根の全積は $\prod_{i=1}^n \alpha_i = (-1)^n n!$ である。これを代入すると、 $$ \prod_{i=1}^n P'(\alpha_i) = (-1)^n ((-1)^n n!)^n = (-1)^{n + n^2} (n!)^n $$ ここで、任意の整数 $n$ について、 $n^2 + n = n(n+1)$ は連続する2整数の積であるから必ず偶数である。よって、 $(-1)^{n^2+n} = 1$ となる。これを判別式の全体の式に戻すと、 $$ D_n = (-1)^{\frac{n(n-1)}{2}} (n!)^n $$ が導かれる。□

証明

$D_n = (-1)^{\frac{n(n-1)}{2}} (n!)^n$ の平方因子性を、 $n$ の剰余クラスおよび素数分布から判定する。

ケース 1: $n \equiv 0 \pmod 4$ のとき
$n = 4k$ ($k \in \mathbb{Z}_{\ge 1}$) とおける。このとき符号の指数は $\frac{4k(4k-1)}{2} = 2k(4k-1)$ となり、これは常に偶数である。したがって $(-1)^{\frac{n(n-1)}{2}} = 1$ である。また、 $(n!)^n = (n!)^{4k} = ((n!)^{2k})^2$ となり、これは整数の完全平方である。よって、 $D_n$ は有理数の平方数となる。
ケース 2: $n \equiv 2 \pmod 4$ のとき
$n = 4k+2$ ($k \in \mathbb{Z}_{\ge 0}$) とおける。このとき符号の指数は $\frac{(4k+2)(4k+1)}{2} = (2k+1)(4k+1)$ となる。奇数と奇数の積は奇数であるから、 $(-1)^{\frac{n(n-1)}{2}} = -1$ である。 $(n!)^n$ は正の実数であるため、 $D_n$ は負の実数となる。負の有理数は $\mathbb{Q}$ において平方数になり得ない。
ケース 3: $n$ が奇数のとき
$n$ が奇数であるため、 $(n!)^n$ の指数 $n$ は奇数である。これが平方数になるためには、基数である $n!$ 自体が $\mathbb{Q}$ 内で平方数でなければならない。しかし、 $n > 1$ に対し、 Bertrand の仮説（定理 3.4）により、 $n/2 < p \le n$ を満たす素数 $p$ が必ず存在する。この素数 $p$ は $n! = 1 \times 2 \times \dots \times n$ の因子としてちょうど1回だけ現れる（なぜなら $2p > n$ より、 $n!$ の中に $p$ の倍数は $p$ 自身しか存在しないからである）。素因数分解において次数が $1$ （奇数）である素因子が存在するため、 $n!$ は平方数にはなり得ない。その奇数乗である $(n!)^n$ も平方数にならない。したがって $D_n$ は平方数にならない。

以上より、 $D_n$ が有理数の平方数となるのは $n \equiv 0 \pmod 4$ のときに限られる。□

3.4. ガロア群の最終決定

以上のステップ A, B, C を統合することで、 Schur の定理が完全に証明される。 $n \ge 8$ のとき、ステップ B より $G_n$ は交代群 $A_n$ を含む ($S_n \ge G_n \ge A_n$)。定理 3.7 より、 $n \equiv 0 \pmod 4$ のときは判別式が平方数となるため、 $G_n \le A_n$ となり、したがって $G_n = A_n$ である。一方、 $n \not\equiv 0 \pmod 4$ のときは判別式が平方数とならないため、 $G_n$ は $A_n$ に収まらず、指数2の拡大数関係から $G_n = S_n$ と確定する。なお、 $n < 8$ の小次数 ($n=1,2,3,4,5,6,7$) の場合についても、個別に Newton 多角形および小次数の置換群の性質を計算することにより、まったく同様に定理が成り立つことが容易に確かめられる。これをもって、Schur の定理の Coleman 流の証明が完結する。

4. 論文のさらなる帰結と現代的意義 (Further Consequences and Significance)

Coleman は論文の後半において、単に Schur の定理の別証明を与えるにとどまらず、指数テイラー多項式が持つより深い数論的性質を明らかにしている。特に重要なのは、 $f_n(x)$ の最小分解体 $L_n$ の有理数体 $\mathbb{Q}$ 上の分岐特性である。一般の代数体の拡大では、多くの素数が複雑に分岐し得るが、 Coleman は Newton 多角形の精密な構造解析を通じて、以下の驚くべき性質を示した。

この性質は、代数的種数の制御や、幾何学的な被覆理論における「無分岐拡大」の構成において極めて珍しく、かつ強力な特性である。Coleman のこのアプローチは、その後の代数方程式のガロア群の決定において、古典的な解析的手法から $p$ 進幾何学的手法へのパラダイムシフトを促す先駆的な業績として、現代でも高く評価されている。

指数関数テイラー多項式の Galois 群に関する Coleman 論文の完全解説

1. 序論 (Introduction)